Optimal. Leaf size=295 \[ -\frac {9009 e^5}{640 (b d-a e)^6 (d+e x)^{5/2}}-\frac {1}{5 (b d-a e) (a+b x)^5 (d+e x)^{5/2}}+\frac {3 e}{8 (b d-a e)^2 (a+b x)^4 (d+e x)^{5/2}}-\frac {13 e^2}{16 (b d-a e)^3 (a+b x)^3 (d+e x)^{5/2}}+\frac {143 e^3}{64 (b d-a e)^4 (a+b x)^2 (d+e x)^{5/2}}-\frac {1287 e^4}{128 (b d-a e)^5 (a+b x) (d+e x)^{5/2}}-\frac {3003 b e^5}{128 (b d-a e)^7 (d+e x)^{3/2}}-\frac {9009 b^2 e^5}{128 (b d-a e)^8 \sqrt {d+e x}}+\frac {9009 b^{5/2} e^5 \tanh ^{-1}\left (\frac {\sqrt {b} \sqrt {d+e x}}{\sqrt {b d-a e}}\right )}{128 (b d-a e)^{17/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.18, antiderivative size = 295, normalized size of antiderivative = 1.00, number of steps
used = 11, number of rules used = 5, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.179, Rules used = {27, 44, 53, 65,
214} \begin {gather*} \frac {9009 b^{5/2} e^5 \tanh ^{-1}\left (\frac {\sqrt {b} \sqrt {d+e x}}{\sqrt {b d-a e}}\right )}{128 (b d-a e)^{17/2}}-\frac {9009 b^2 e^5}{128 \sqrt {d+e x} (b d-a e)^8}-\frac {3003 b e^5}{128 (d+e x)^{3/2} (b d-a e)^7}-\frac {9009 e^5}{640 (d+e x)^{5/2} (b d-a e)^6}-\frac {1287 e^4}{128 (a+b x) (d+e x)^{5/2} (b d-a e)^5}+\frac {143 e^3}{64 (a+b x)^2 (d+e x)^{5/2} (b d-a e)^4}-\frac {13 e^2}{16 (a+b x)^3 (d+e x)^{5/2} (b d-a e)^3}+\frac {3 e}{8 (a+b x)^4 (d+e x)^{5/2} (b d-a e)^2}-\frac {1}{5 (a+b x)^5 (d+e x)^{5/2} (b d-a e)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 27
Rule 44
Rule 53
Rule 65
Rule 214
Rubi steps
\begin {align*} \int \frac {1}{(d+e x)^{7/2} \left (a^2+2 a b x+b^2 x^2\right )^3} \, dx &=\int \frac {1}{(a+b x)^6 (d+e x)^{7/2}} \, dx\\ &=-\frac {1}{5 (b d-a e) (a+b x)^5 (d+e x)^{5/2}}-\frac {(3 e) \int \frac {1}{(a+b x)^5 (d+e x)^{7/2}} \, dx}{2 (b d-a e)}\\ &=-\frac {1}{5 (b d-a e) (a+b x)^5 (d+e x)^{5/2}}+\frac {3 e}{8 (b d-a e)^2 (a+b x)^4 (d+e x)^{5/2}}+\frac {\left (39 e^2\right ) \int \frac {1}{(a+b x)^4 (d+e x)^{7/2}} \, dx}{16 (b d-a e)^2}\\ &=-\frac {1}{5 (b d-a e) (a+b x)^5 (d+e x)^{5/2}}+\frac {3 e}{8 (b d-a e)^2 (a+b x)^4 (d+e x)^{5/2}}-\frac {13 e^2}{16 (b d-a e)^3 (a+b x)^3 (d+e x)^{5/2}}-\frac {\left (143 e^3\right ) \int \frac {1}{(a+b x)^3 (d+e x)^{7/2}} \, dx}{32 (b d-a e)^3}\\ &=-\frac {1}{5 (b d-a e) (a+b x)^5 (d+e x)^{5/2}}+\frac {3 e}{8 (b d-a e)^2 (a+b x)^4 (d+e x)^{5/2}}-\frac {13 e^2}{16 (b d-a e)^3 (a+b x)^3 (d+e x)^{5/2}}+\frac {143 e^3}{64 (b d-a e)^4 (a+b x)^2 (d+e x)^{5/2}}+\frac {\left (1287 e^4\right ) \int \frac {1}{(a+b x)^2 (d+e x)^{7/2}} \, dx}{128 (b d-a e)^4}\\ &=-\frac {1}{5 (b d-a e) (a+b x)^5 (d+e x)^{5/2}}+\frac {3 e}{8 (b d-a e)^2 (a+b x)^4 (d+e x)^{5/2}}-\frac {13 e^2}{16 (b d-a e)^3 (a+b x)^3 (d+e x)^{5/2}}+\frac {143 e^3}{64 (b d-a e)^4 (a+b x)^2 (d+e x)^{5/2}}-\frac {1287 e^4}{128 (b d-a e)^5 (a+b x) (d+e x)^{5/2}}-\frac {\left (9009 e^5\right ) \int \frac {1}{(a+b x) (d+e x)^{7/2}} \, dx}{256 (b d-a e)^5}\\ &=-\frac {9009 e^5}{640 (b d-a e)^6 (d+e x)^{5/2}}-\frac {1}{5 (b d-a e) (a+b x)^5 (d+e x)^{5/2}}+\frac {3 e}{8 (b d-a e)^2 (a+b x)^4 (d+e x)^{5/2}}-\frac {13 e^2}{16 (b d-a e)^3 (a+b x)^3 (d+e x)^{5/2}}+\frac {143 e^3}{64 (b d-a e)^4 (a+b x)^2 (d+e x)^{5/2}}-\frac {1287 e^4}{128 (b d-a e)^5 (a+b x) (d+e x)^{5/2}}-\frac {\left (9009 b e^5\right ) \int \frac {1}{(a+b x) (d+e x)^{5/2}} \, dx}{256 (b d-a e)^6}\\ &=-\frac {9009 e^5}{640 (b d-a e)^6 (d+e x)^{5/2}}-\frac {1}{5 (b d-a e) (a+b x)^5 (d+e x)^{5/2}}+\frac {3 e}{8 (b d-a e)^2 (a+b x)^4 (d+e x)^{5/2}}-\frac {13 e^2}{16 (b d-a e)^3 (a+b x)^3 (d+e x)^{5/2}}+\frac {143 e^3}{64 (b d-a e)^4 (a+b x)^2 (d+e x)^{5/2}}-\frac {1287 e^4}{128 (b d-a e)^5 (a+b x) (d+e x)^{5/2}}-\frac {3003 b e^5}{128 (b d-a e)^7 (d+e x)^{3/2}}-\frac {\left (9009 b^2 e^5\right ) \int \frac {1}{(a+b x) (d+e x)^{3/2}} \, dx}{256 (b d-a e)^7}\\ &=-\frac {9009 e^5}{640 (b d-a e)^6 (d+e x)^{5/2}}-\frac {1}{5 (b d-a e) (a+b x)^5 (d+e x)^{5/2}}+\frac {3 e}{8 (b d-a e)^2 (a+b x)^4 (d+e x)^{5/2}}-\frac {13 e^2}{16 (b d-a e)^3 (a+b x)^3 (d+e x)^{5/2}}+\frac {143 e^3}{64 (b d-a e)^4 (a+b x)^2 (d+e x)^{5/2}}-\frac {1287 e^4}{128 (b d-a e)^5 (a+b x) (d+e x)^{5/2}}-\frac {3003 b e^5}{128 (b d-a e)^7 (d+e x)^{3/2}}-\frac {9009 b^2 e^5}{128 (b d-a e)^8 \sqrt {d+e x}}-\frac {\left (9009 b^3 e^5\right ) \int \frac {1}{(a+b x) \sqrt {d+e x}} \, dx}{256 (b d-a e)^8}\\ &=-\frac {9009 e^5}{640 (b d-a e)^6 (d+e x)^{5/2}}-\frac {1}{5 (b d-a e) (a+b x)^5 (d+e x)^{5/2}}+\frac {3 e}{8 (b d-a e)^2 (a+b x)^4 (d+e x)^{5/2}}-\frac {13 e^2}{16 (b d-a e)^3 (a+b x)^3 (d+e x)^{5/2}}+\frac {143 e^3}{64 (b d-a e)^4 (a+b x)^2 (d+e x)^{5/2}}-\frac {1287 e^4}{128 (b d-a e)^5 (a+b x) (d+e x)^{5/2}}-\frac {3003 b e^5}{128 (b d-a e)^7 (d+e x)^{3/2}}-\frac {9009 b^2 e^5}{128 (b d-a e)^8 \sqrt {d+e x}}-\frac {\left (9009 b^3 e^4\right ) \text {Subst}\left (\int \frac {1}{a-\frac {b d}{e}+\frac {b x^2}{e}} \, dx,x,\sqrt {d+e x}\right )}{128 (b d-a e)^8}\\ &=-\frac {9009 e^5}{640 (b d-a e)^6 (d+e x)^{5/2}}-\frac {1}{5 (b d-a e) (a+b x)^5 (d+e x)^{5/2}}+\frac {3 e}{8 (b d-a e)^2 (a+b x)^4 (d+e x)^{5/2}}-\frac {13 e^2}{16 (b d-a e)^3 (a+b x)^3 (d+e x)^{5/2}}+\frac {143 e^3}{64 (b d-a e)^4 (a+b x)^2 (d+e x)^{5/2}}-\frac {1287 e^4}{128 (b d-a e)^5 (a+b x) (d+e x)^{5/2}}-\frac {3003 b e^5}{128 (b d-a e)^7 (d+e x)^{3/2}}-\frac {9009 b^2 e^5}{128 (b d-a e)^8 \sqrt {d+e x}}+\frac {9009 b^{5/2} e^5 \tanh ^{-1}\left (\frac {\sqrt {b} \sqrt {d+e x}}{\sqrt {b d-a e}}\right )}{128 (b d-a e)^{17/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 2.30, size = 443, normalized size = 1.50 \begin {gather*} \frac {1}{640} \left (\frac {-256 a^7 e^7+256 a^6 b e^6 (12 d+5 e x)-256 a^5 b^2 e^5 \left (116 d^2+160 d e x+65 e^2 x^2\right )-5 a^4 b^3 e^4 \left (5327 d^3+45677 d^2 e x+66157 d e^2 x^2+27599 e^3 x^3\right )-10 a^3 b^4 e^3 \left (-1211 d^4+5810 d^3 e x+54392 d^2 e^2 x^2+80366 d e^3 x^3+33891 e^4 x^4\right )-2 a^2 b^5 e^2 \left (2324 d^5-6545 d^4 e x+30485 d^3 e^2 x^2+302445 d^2 e^3 x^3+452595 d e^4 x^4+192192 e^5 x^5\right )-2 a b^6 e \left (-568 d^6+1240 d^5 e x-3445 d^4 e^2 x^2+15730 d^3 e^3 x^3+163020 d^2 e^4 x^4+246246 d e^5 x^5+105105 e^6 x^6\right )-b^7 \left (128 d^7-240 d^6 e x+520 d^5 e^2 x^2-1430 d^4 e^3 x^3+6435 d^3 e^4 x^4+69069 d^2 e^5 x^5+105105 d e^6 x^6+45045 e^7 x^7\right )}{(b d-a e)^8 (a+b x)^5 (d+e x)^{5/2}}-\frac {45045 b^{5/2} e^5 \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {d+e x}}{\sqrt {-b d+a e}}\right )}{(-b d+a e)^{17/2}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.79, size = 314, normalized size = 1.06
method | result | size |
derivativedivides | \(2 e^{5} \left (-\frac {b^{3} \left (\frac {\frac {3633 b^{4} \left (e x +d \right )^{\frac {9}{2}}}{256}+\frac {7837 \left (a e -b d \right ) b^{3} \left (e x +d \right )^{\frac {7}{2}}}{128}+\left (\frac {1001}{10} a^{2} b^{2} e^{2}-\frac {1001}{5} a \,b^{3} d e +\frac {1001}{10} b^{4} d^{2}\right ) \left (e x +d \right )^{\frac {5}{2}}+\left (\frac {9443}{128} a^{3} b \,e^{3}-\frac {28329}{128} a^{2} b^{2} d \,e^{2}+\frac {28329}{128} d^{2} e a \,b^{3}-\frac {9443}{128} b^{4} d^{3}\right ) \left (e x +d \right )^{\frac {3}{2}}+\left (\frac {5327}{256} e^{4} a^{4}-\frac {5327}{64} a^{3} b d \,e^{3}+\frac {15981}{128} a^{2} b^{2} d^{2} e^{2}-\frac {5327}{64} a \,b^{3} d^{3} e +\frac {5327}{256} b^{4} d^{4}\right ) \sqrt {e x +d}}{\left (\left (e x +d \right ) b +a e -b d \right )^{5}}+\frac {9009 \arctan \left (\frac {b \sqrt {e x +d}}{\sqrt {b \left (a e -b d \right )}}\right )}{256 \sqrt {b \left (a e -b d \right )}}\right )}{\left (a e -b d \right )^{8}}-\frac {1}{5 \left (a e -b d \right )^{6} \left (e x +d \right )^{\frac {5}{2}}}-\frac {21 b^{2}}{\left (a e -b d \right )^{8} \sqrt {e x +d}}+\frac {2 b}{\left (a e -b d \right )^{7} \left (e x +d \right )^{\frac {3}{2}}}\right )\) | \(314\) |
default | \(2 e^{5} \left (-\frac {b^{3} \left (\frac {\frac {3633 b^{4} \left (e x +d \right )^{\frac {9}{2}}}{256}+\frac {7837 \left (a e -b d \right ) b^{3} \left (e x +d \right )^{\frac {7}{2}}}{128}+\left (\frac {1001}{10} a^{2} b^{2} e^{2}-\frac {1001}{5} a \,b^{3} d e +\frac {1001}{10} b^{4} d^{2}\right ) \left (e x +d \right )^{\frac {5}{2}}+\left (\frac {9443}{128} a^{3} b \,e^{3}-\frac {28329}{128} a^{2} b^{2} d \,e^{2}+\frac {28329}{128} d^{2} e a \,b^{3}-\frac {9443}{128} b^{4} d^{3}\right ) \left (e x +d \right )^{\frac {3}{2}}+\left (\frac {5327}{256} e^{4} a^{4}-\frac {5327}{64} a^{3} b d \,e^{3}+\frac {15981}{128} a^{2} b^{2} d^{2} e^{2}-\frac {5327}{64} a \,b^{3} d^{3} e +\frac {5327}{256} b^{4} d^{4}\right ) \sqrt {e x +d}}{\left (\left (e x +d \right ) b +a e -b d \right )^{5}}+\frac {9009 \arctan \left (\frac {b \sqrt {e x +d}}{\sqrt {b \left (a e -b d \right )}}\right )}{256 \sqrt {b \left (a e -b d \right )}}\right )}{\left (a e -b d \right )^{8}}-\frac {1}{5 \left (a e -b d \right )^{6} \left (e x +d \right )^{\frac {5}{2}}}-\frac {21 b^{2}}{\left (a e -b d \right )^{8} \sqrt {e x +d}}+\frac {2 b}{\left (a e -b d \right )^{7} \left (e x +d \right )^{\frac {3}{2}}}\right )\) | \(314\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 2053 vs.
\(2 (264) = 528\).
time = 3.67, size = 4117, normalized size = 13.96 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 884 vs.
\(2 (264) = 528\).
time = 1.12, size = 884, normalized size = 3.00 \begin {gather*} -\frac {9009 \, b^{3} \arctan \left (\frac {\sqrt {x e + d} b}{\sqrt {-b^{2} d + a b e}}\right ) e^{5}}{128 \, {\left (b^{8} d^{8} - 8 \, a b^{7} d^{7} e + 28 \, a^{2} b^{6} d^{6} e^{2} - 56 \, a^{3} b^{5} d^{5} e^{3} + 70 \, a^{4} b^{4} d^{4} e^{4} - 56 \, a^{5} b^{3} d^{3} e^{5} + 28 \, a^{6} b^{2} d^{2} e^{6} - 8 \, a^{7} b d e^{7} + a^{8} e^{8}\right )} \sqrt {-b^{2} d + a b e}} - \frac {45045 \, {\left (x e + d\right )}^{7} b^{7} e^{5} - 210210 \, {\left (x e + d\right )}^{6} b^{7} d e^{5} + 384384 \, {\left (x e + d\right )}^{5} b^{7} d^{2} e^{5} - 338910 \, {\left (x e + d\right )}^{4} b^{7} d^{3} e^{5} + 137995 \, {\left (x e + d\right )}^{3} b^{7} d^{4} e^{5} - 16640 \, {\left (x e + d\right )}^{2} b^{7} d^{5} e^{5} - 1280 \, {\left (x e + d\right )} b^{7} d^{6} e^{5} - 256 \, b^{7} d^{7} e^{5} + 210210 \, {\left (x e + d\right )}^{6} a b^{6} e^{6} - 768768 \, {\left (x e + d\right )}^{5} a b^{6} d e^{6} + 1016730 \, {\left (x e + d\right )}^{4} a b^{6} d^{2} e^{6} - 551980 \, {\left (x e + d\right )}^{3} a b^{6} d^{3} e^{6} + 83200 \, {\left (x e + d\right )}^{2} a b^{6} d^{4} e^{6} + 7680 \, {\left (x e + d\right )} a b^{6} d^{5} e^{6} + 1792 \, a b^{6} d^{6} e^{6} + 384384 \, {\left (x e + d\right )}^{5} a^{2} b^{5} e^{7} - 1016730 \, {\left (x e + d\right )}^{4} a^{2} b^{5} d e^{7} + 827970 \, {\left (x e + d\right )}^{3} a^{2} b^{5} d^{2} e^{7} - 166400 \, {\left (x e + d\right )}^{2} a^{2} b^{5} d^{3} e^{7} - 19200 \, {\left (x e + d\right )} a^{2} b^{5} d^{4} e^{7} - 5376 \, a^{2} b^{5} d^{5} e^{7} + 338910 \, {\left (x e + d\right )}^{4} a^{3} b^{4} e^{8} - 551980 \, {\left (x e + d\right )}^{3} a^{3} b^{4} d e^{8} + 166400 \, {\left (x e + d\right )}^{2} a^{3} b^{4} d^{2} e^{8} + 25600 \, {\left (x e + d\right )} a^{3} b^{4} d^{3} e^{8} + 8960 \, a^{3} b^{4} d^{4} e^{8} + 137995 \, {\left (x e + d\right )}^{3} a^{4} b^{3} e^{9} - 83200 \, {\left (x e + d\right )}^{2} a^{4} b^{3} d e^{9} - 19200 \, {\left (x e + d\right )} a^{4} b^{3} d^{2} e^{9} - 8960 \, a^{4} b^{3} d^{3} e^{9} + 16640 \, {\left (x e + d\right )}^{2} a^{5} b^{2} e^{10} + 7680 \, {\left (x e + d\right )} a^{5} b^{2} d e^{10} + 5376 \, a^{5} b^{2} d^{2} e^{10} - 1280 \, {\left (x e + d\right )} a^{6} b e^{11} - 1792 \, a^{6} b d e^{11} + 256 \, a^{7} e^{12}}{640 \, {\left (b^{8} d^{8} - 8 \, a b^{7} d^{7} e + 28 \, a^{2} b^{6} d^{6} e^{2} - 56 \, a^{3} b^{5} d^{5} e^{3} + 70 \, a^{4} b^{4} d^{4} e^{4} - 56 \, a^{5} b^{3} d^{3} e^{5} + 28 \, a^{6} b^{2} d^{2} e^{6} - 8 \, a^{7} b d e^{7} + a^{8} e^{8}\right )} {\left ({\left (x e + d\right )}^{\frac {3}{2}} b - \sqrt {x e + d} b d + \sqrt {x e + d} a e\right )}^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.51, size = 594, normalized size = 2.01 \begin {gather*} -\frac {\frac {2\,e^5}{5\,\left (a\,e-b\,d\right )}+\frac {26\,b^2\,e^5\,{\left (d+e\,x\right )}^2}{{\left (a\,e-b\,d\right )}^3}+\frac {27599\,b^3\,e^5\,{\left (d+e\,x\right )}^3}{128\,{\left (a\,e-b\,d\right )}^4}+\frac {33891\,b^4\,e^5\,{\left (d+e\,x\right )}^4}{64\,{\left (a\,e-b\,d\right )}^5}+\frac {3003\,b^5\,e^5\,{\left (d+e\,x\right )}^5}{5\,{\left (a\,e-b\,d\right )}^6}+\frac {21021\,b^6\,e^5\,{\left (d+e\,x\right )}^6}{64\,{\left (a\,e-b\,d\right )}^7}+\frac {9009\,b^7\,e^5\,{\left (d+e\,x\right )}^7}{128\,{\left (a\,e-b\,d\right )}^8}-\frac {2\,b\,e^5\,\left (d+e\,x\right )}{{\left (a\,e-b\,d\right )}^2}}{{\left (d+e\,x\right )}^{5/2}\,\left (a^5\,e^5-5\,a^4\,b\,d\,e^4+10\,a^3\,b^2\,d^2\,e^3-10\,a^2\,b^3\,d^3\,e^2+5\,a\,b^4\,d^4\,e-b^5\,d^5\right )-{\left (d+e\,x\right )}^{9/2}\,\left (-10\,a^3\,b^2\,e^3+30\,a^2\,b^3\,d\,e^2-30\,a\,b^4\,d^2\,e+10\,b^5\,d^3\right )+{\left (d+e\,x\right )}^{7/2}\,\left (5\,a^4\,b\,e^4-20\,a^3\,b^2\,d\,e^3+30\,a^2\,b^3\,d^2\,e^2-20\,a\,b^4\,d^3\,e+5\,b^5\,d^4\right )+b^5\,{\left (d+e\,x\right )}^{15/2}-\left (5\,b^5\,d-5\,a\,b^4\,e\right )\,{\left (d+e\,x\right )}^{13/2}+{\left (d+e\,x\right )}^{11/2}\,\left (10\,a^2\,b^3\,e^2-20\,a\,b^4\,d\,e+10\,b^5\,d^2\right )}-\frac {9009\,b^{5/2}\,e^5\,\mathrm {atan}\left (\frac {\sqrt {b}\,\sqrt {d+e\,x}\,\left (a^8\,e^8-8\,a^7\,b\,d\,e^7+28\,a^6\,b^2\,d^2\,e^6-56\,a^5\,b^3\,d^3\,e^5+70\,a^4\,b^4\,d^4\,e^4-56\,a^3\,b^5\,d^5\,e^3+28\,a^2\,b^6\,d^6\,e^2-8\,a\,b^7\,d^7\,e+b^8\,d^8\right )}{{\left (a\,e-b\,d\right )}^{17/2}}\right )}{128\,{\left (a\,e-b\,d\right )}^{17/2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________